Greg Morrisett - PDFSEARCH.IO - Document Search Engine

Greg Morrisett
Results: 58

#	Item
31	Alias Types for Recursive Data Structures ∗ (Extended Version) David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:34:40 Primitive types Pointer Type safety Reference Aliasing Linked list Stack Software engineering Data types Computing
32	Scalable Certification of Native Code: Experience from Compiling to TALx86 Dan Grossman Greg Morrisett ∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-02-02 20:38:09 Type theory Programming language theory Calling convention Assembly language Function prologue Type inference Type system Annotation X86 Software engineering Subroutines Computing
33	John Gregory Morrisett Nationality: USA Phone: +[removed]Email: [removed] Web: http://www.eecs.harvard.edu/~greg Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2015-01-28 11:56:50 Association for Computing Machinery Functional programming International Conference on Functional Programming SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming International Conference on Architectural Support for Programming Languages and Operating Systems Orc Computing Computer science Software engineering
34	Stack-Based Typed Assembly Language ∗ Greg Morrisett Karl Crary Neal Glew Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:34 Subroutines Programming language implementation Calling convention Tail call Stack Call stack ATS Assembly language Pointer Software engineering Computer programming Computing
35	Cyclone: A safe dialect of C Trevor Jim∗ Greg Morrisett† James Cheney† Add to Reading List Source URL: www.r-5.org Language: English - Date: 2014-10-27 10:44:04 Software bugs Data types C programming language C++ Primitive types Cyclone Pointer C Dangling pointer Computing Software engineering Computer programming
36	A Step-Indexed Model of Substructural State Amal Ahmed Matthew Fluet ∗ Greg Morrisett ∗ Add to Reading List Source URL: www.cs.rit.edu Language: English - Date: 2009-06-01 13:14:35 Symbol Greek alphabet Orbifold
37	Certified In-lined Reference Monitoring on .NET ∗ Kevin W. Hamlen Greg Morrisett Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 23:08:05 Entailment Logical consequence Metalogic Limit Type safety Logic Deduction Propositional calculus
38	Computability Classes for Enforcement Mechanisms Kevin W. Hamlen, Greg Morrisett, and Fred B. Schneider Technical Report: TR2003-1908 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2003-08-27 22:53:08 Computability Symbol
39	Certified In-lined Reference Monitoring on .NET∗ Kevin W. Hamlen Cornell University Greg Morrisett Harvard University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-11-12 14:40:18 Type theory Data types Common Intermediate Language Type system Type safety C Sharp .NET Framework Objective-C Pointer Computing Software engineering Computer programming
40	Computability Classes for Enforcement Mechanisms* KEVIN W. HAMLEN Cornell University GREG MORRISETT Harvard University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-04-26 16:43:56 Applied mathematics Computer science Computability theory Formal methods Computability Finite-state machine Kernel Algorithm Turing machine Models of computation Theory of computation Theoretical computer science

UPDATE